465e6acef79685fd295790abe0e37e3d732b1f02,src/shuffle/fwk/gui/GridPanel.java,GridPanel,getGridBorderThickness,#,140

Before Change


    * @return
    */
   private int getGridBorderThickness() {
      return getUser().getPreferencesManager().getIntegerValue(KEY_GRID_BORDER_THICK, DEFAULT_GRID_BORDER_THICK);
   }
   
   private int getCellOutlineThickness() {

After Change


    * @return
    */
   private int getGridBorderThickness() {
      ConfigManager preferencesManager = getUser().getPreferencesManager();
      Integer thick = preferencesManager.getIntegerValue(KEY_GRID_BORDER_THICK, DEFAULT_GRID_BORDER_THICK);
      return getUser().scaleBorderThickness(thick);
   }
   
   private int getCellOutlineThickness() {